$\forall$$p$, $q$:Prop. $p$ \& $p$ \& $q$ $\Leftrightarrow$ $p$ \& $q$